$\forall$${\it es}$:ES. SWellFounded(($e$ $<$ ${\it e'}$))